Philosophy Dictionary of ArgumentsHome | |||
| |||
Law of the Excluded Middle: an assertion is either true or false. "There is no third possibility."See also bivalence, anti-realism, multivalued logic._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Logic Texts on Excluded Middle - Dictionary of Arguments
Read III 108 Similarity metrics/the conditionally excluded middle/Read: the conditionally excluded middle: one or the other member of a pair of conditional sentences must be true. - That equals the assumption that there is always a single most similar world. - Stalnaker pro - LewisVsStalnaker: e.g. Bizet/Verdi: all combinations are wrong - Stalnaker: instead of the only similar one at least one similar - LewisVs: The amount of the possible worlds in the Lewis 2 m + e is large, whereby e decreases suitably; it has no limit. - Solution/Lewis: instead of the selection function: similarity relation: he proposes that "if A, then B" is then true in w if there is either no "A or non-B" world, or some "A" and "B" world that is more similar than any "A and non-B" world. >Similarity metrics. --- III 110 Verdi-Example: where there is no unique, most similar world, the "would" condition sentences are false because there is no similar world for any of the most appropriate similar worlds in which they are fellow country men, in which Bizet has a different nationality. - Example: if you get an A, you will receive a scholarship: will be true if there is a more similar world in which you get both for each world in which you get an A and not a scholarship. - ((s) without conditional sentence of the excluded middle). >Similarity. --- III 263 Law of the excluded middle/constructivism/Read: Constructivists often present so-called "weak counterexamples" against the excluded middle - if a is a real number, "a = 0" is not decidable. Consequently, the constructivist cannot claim that all real numbers are either identical to zero or not. - But this is more of a question of representation. >Constructivism, >Presentation._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Logic Texts Me I Albert Menne Folgerichtig Denken Darmstadt 1988 HH II Hoyningen-Huene Formale Logik, Stuttgart 1998 Re III Stephen Read Philosophie der Logik Hamburg 1997 Sal IV Wesley C. Salmon Logic, Englewood Cliffs, New Jersey 1973 - German: Logik Stuttgart 1983 Sai V R.M.Sainsbury Paradoxes, Cambridge/New York/Melbourne 1995 - German: Paradoxien Stuttgart 2001 Re III St. Read Thinking About Logic: An Introduction to the Philosophy of Logic. 1995 Oxford University Press German Edition: Philosophie der Logik Hamburg 1997 |